home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tsql.mail / 000095_jcliffor@is-4.stern.nyu.edu _Wed Apr 28 16:23:33 1993.msg < prev    next >
Internet Message Format  |  1996-01-31  |  3KB
  1. Received: from IS-4.STERN.NYU.EDU by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2.     id AA04155; Wed, 28 Apr 1993 13:15:46 MST
  3. Received: by is-4.stern.nyu.edu (4.1/1.34)
  4.     id AA20332; Wed, 28 Apr 93 16:23:38 EDT
  5. Date: Wed, 28 Apr 93 16:23:33 EDT
  6. From: Jim Clifford <jcliffor@is-4.stern.nyu.edu>
  7. To: tsql@cs.arizona.edu
  8. Subject: Proposed Glossary Entry
  9. Message-Id: <CMM.0.90.2.736028613.jcliffor@is-4.stern.nyu.edu>
  10.  
  11. With the deadline approaching, I noticed that some term distinguishing
  12. what we have called grouped and ungrouped models appears to be
  13. necessary. The following proposal is for a term that attempts to
  14. characterize what I (along with Al Croker and Alex Tuzhilin) see as the
  15. major difference -- on a semantic level, without being too
  16. model-specific-- between these two approaches. It is basically taken
  17. from our CCT paper (reduced version in the Temp Databases book).
  18.  
  19.  
  20. \documentstyle[11pt]{article}
  21. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  22. % VARIOUS MACROS
  23. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  24.  
  25. \long\def\comment#1{}
  26. \newcommand{\entry}[1]{\subsubsection*{#1}}
  27.  
  28. \addtolength{\textwidth}{1.485in}%{1.2in}
  29. \setlength{\oddsidemargin}{.1in}%{.3in}
  30. \setlength{\evensidemargin}{.1in}%{.3in}
  31. \addtolength{\topmargin}{-.85in} %{-1.35in}
  32. \addtolength{\textheight}{1.8in} %{2.8in}
  33.  
  34. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  35. % PAPER START
  36. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  37.  
  38. \begin{document}
  39.  
  40. \subsection{Temporal Value Integrity}
  41.  
  42. \entry{Definition}         
  43.  
  44. A temporal DBMS is said to have {\em temporal value integrity} if:
  45.  
  46. \begin{enumerate}
  47.  
  48. \item The integrity of temporal values as first-class objects is inherent 
  49. in the model, in the sense that the language provides a mechanism
  50. (generally, variables and quantification) for direct reference to {\em
  51. value histories} as objects of discourse, and
  52.  
  53. \item Temporal values are considered to be
  54. {\em value equivalent} only if they are equal for all points in time
  55. over which they are defined.
  56.  
  57. \end{enumerate}
  58.  
  59.  
  60. \entry{Alternative Names}   
  61.  
  62. None.
  63.  
  64. \entry{Discussion}
  65.  
  66. The concept of {\em temporal value integrity} provides a term for the
  67. characteristic distinguishing those models which represent {\em time}
  68. as just another attribute or set of attributes, from those which
  69. represent temporal values directly.  The former models do not have a
  70. primitive notion of a temporal value.  Instead, they have the
  71. primitive notions of time values and ordinary values, and they can
  72. represent associations between these two types of values, for example,
  73. they can represent the (non-temporal) {\em value of a SALARY at time
  74. t}. Those models with {\em temporal value integrity} have built in the
  75. primitive notion of a temporal value.  In these models one can refer
  76. to a primitive temporal value like a {\em SALARY history}, as well as
  77. referring to the (non-temporal) {\em value of a SALARY history at time
  78. t}.
  79.  
  80.  
  81. The orthogonality criterion (+E1) is satisfied, and there are no
  82. competing names in the literature (+E3), and the term does not appear
  83. to have other meanings (+E5). Further, the name is consistent with
  84. existing terminology (+E7) (and, indeed, clarifies the meaning of the
  85. term {\em value equivalence}, and does not violate other criteria.
  86.  
  87. \end{document}
  88.